Verification and Refactoring of Ontologies with Rules
نویسندگان
چکیده
Currently, the introduction of an appropriate rule representation layer for the semantic web stack is discussed. However, with the inclusion of rule-based knowledge new verification issues for rule-augmented ontologies arise. In this paper we investigate the detection of anomalies as an important subtask of verification. We extend and revise existing approaches for the syntactic verification of ontologies with respect to the existence of rules, and we introduce new anomalies considering the understandability and maintainability of such ontologies.
منابع مشابه
A Set of Refactoring Rules for UML-B Specifications
UML-B is a graphical formal modelling notation which is based on UML and relies on Event-B and its verification tools. In this paper, we propose annealing and introduce subtyping rules as well-known refactoring rules which can improve and assist the derivation of object-oriented design from an abstract specification written in UML-B. We prove that the proposed annealing rules are behavior prese...
متن کاملVerification of Architectural Refactoring Rules
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. To adapt to changing requirements and improve internal software quality such models have to evolve while preserving aspects of their behaviour. To avoid the costly verification of refactoring steps on large systems we...
متن کاملAdding a Pre processing Phase to ASMOV for Improving the Alignment Result
Ontology matching is one of the most important challenges in the semantic web. It is a technique which is used to find the semantic correspondences between entities which are modeled in different ontologies. Despite many research efforts in ontology matching, the matching process still suffers from severe problems with respect to the quality of the matching results. Furthermore, finding the cor...
متن کاملAnomalies in ontologies with rules
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic Desktops, but also advanced Web Services and agents. The application of rules increases the expressiveness of the underlying knowledge in many ways. Likewise, the integration creates new challenges for the design proc...
متن کاملTowards the Verification of Ontologies with Rules
The integration of a rule representation in ontology languages enhances the developer’s abilities in the expression of knowledge. Likewise the integration creates new challenges for the design process of these knowledge bases. Thus, evaluation approaches have to cope with the merged methods. We introduce extensions to existing verification techniques to support the implementation of ontologies ...
متن کامل